Countable imaginary simple unidimensional theories are supersimple
نویسنده
چکیده
We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.
منابع مشابه
Countable imaginary simple unidimensional theories
We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.
متن کاملOn countable simple unidimensional theories
We prove that any countable simple unidimensional theory T is supersimple, under the additional assumptions that T eliminates hyperimaginaries and that the Dφ-ranks are finite and definable.
متن کاملVaught's conjecture for unidimensional theories
In Bue93b] we proved Vaught's conjecture for all superstable theories of nite rank; that is, such a theory has countably many or continuum many countable models. While this proof does settle Vaught's conjecture for unidimensional theories a sharper result can be obtained for these theories and in places the proof can be simpliied. Let T be a properly unidimensional theory with < 2 @ 0 many coun...
متن کاملThe number of countable models of a countable supersimple theory
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan’s theorem on a superstable theory.
متن کاملSupersimple Ω-categorical Groups and Theories
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU -rank. Every definable subgroup is commensurable with an acl(∅)definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU -rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU -rank.
متن کامل